Постигане на консенсусна типова безопасност в усъвършенствани разпределени алгоритми

Постигане на консенсусна типова безопасност в усъвършенствани разпределени алгоритми | MLOG | MLOG